Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
281	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
282	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
283	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
284	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
285	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
286	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
287	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
288	IFSA Newsletter Vol.2, No.1 Issued on Jan. 31, 2005 http://www.pa.info.mie-u.ac.jp/~furu/ifsa/ NAFIPS – another successful year Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:40 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Fuzzy set Lotfi A. Zadeh Fuzzy control system Fuzzy Sets and Systems Rough set Type-2 fuzzy sets and systems Genetic fuzzy systems
289	University of Paderborn Software Engineering Group E. Kindler On the semantics of EPCs: Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:10 Logic in computer science University of Paderborn Simulation Kindler Electronic Prescriptions for Controlled Substances Semantics
290	3+2 Joint B.S./M.S. in Computational Linguistics Students must complete the College of Arts and Sciences Education (CASE) requirements. B.S./M.S. coursework can count towards the Social and Historical Studies and Natural Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-10-12 17:38:58 Cognitive science Syntax Computer science Language Linguistics Informatics Analysis Logic

UPDATE